1. 时,

1.1 由定理 2.10.7 的推论,

于是有

1.2 给定常数 , 对于 , 定义

于是

从而有

对于混合型非负随机变量 , 利用如下期望公式 (证明见概率论笔记), 有

于是当 时, .

2. 时,

如 1.2 中定义, 由 ,

从而得证.